✨✨Let’s talk about the "Open Logic Project"!✨✨
The OLP is an open-source, collaborative logic set of teaching materials for formal (meta)logic and formal methods. It is available for free and it is modifiable and rearrangeable depending on the teaching needs/purposes. https://t.co/DAWdenkmPk
⥅ [[https://pbs.twimg.com/media/FCi6FlCWQA0wVqc.jpg]]
([View Tweet](https://twitter.com/MxLogica/status/1452617097960431625 ))
